7. A formalization of set theory without variables /
Author: by Alfred Tarski and Steven Givant.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Set theory.,Logic, Symbolic and mathematical.,Ensembles, Théorie des.,Logique symbolique et mathématique.,Axiomatische Mengenlehre,Axiomatische Mengenlehre.,Logic, Symbolic and mathematical.,Mathematische Logik,Mathematische Logik.,Mengenlehre,Mengenlehre.,Set theory.,Teoria Dos Conjuntos.,Verzamelingen (wiskunde)
Classification :
QA248
.
T37
1987
10. BL,BL
Author: / Marshall G.S. Hodgson. ,20090530 0
Library: Library of Islamic Parliament (Tehran)
Subject:
11. Cold war history
Author: edited by Frédéric Bozo ... [ et al.].
Library: Library of Islamic Parliament (Tehran)
Subject:
12. Includes bibliographical references (p. 49-51). 0,B
Author: Zeren Tanındı. ,/ Katie Normington.
Library: Library of Islamic Parliament (Tehran)
Subject:
13. Logic, Language, and Probability :
Author: edited by Radu J. Bogdan, Ilkka Niiniluoto.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Mathematics.,Science -- Philosophy.
14. Logicism and its philosophical legacy /
Author: William Demopoulos
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical,Mathematics-- Philosophy
Classification :
QA9
.
D38
2013
15. Papers in philosophical logic /
Author: David Lewis.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.
Classification :
BC135
.
L44
1998
16. Remarques philosophiques, Edition posthume Due Aux soins de Rush Rhees Traduit de L'Allemand
Author: / Par Jacques Fauve
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Semantics (philosophy),Logic, Symbolic and mathematical,Mathematics - Philosophy
Classification :
149
.
94
Wi-R
17. Sentences undecidable in formalized arithmetic; an exposition of the theory of Kurt Godel
Author: Mostowski, Andrzej.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Logic, Symbolic and mathematical,، Semantics )Philosophy(,، Godel's theorem
Classification :
QA
9
.
65
.
M68
18. Sentences undecidable in formalized arithmetic; an exposition of the theory of Kurt Godel
Author: Mostowski, Andrzej
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Semantics )Philosophy(,، Godel's theorem
Classification :
BC
135
.
M6
19. Sentences undecidable in formalized arithmetic: an exposition of the theory of Kurt Godel
Author:
Library: Library of the Faculty of Economics University of Tehran (Tehran)
Subject: Logic, Symbolic and mathematical,Semantics (Philosophy),Godel, Kurt
Classification :
BC
135
.
M6
20. The Big Typescript, TS. 213 /
Author: Ludwig Wittgenstein ; edited and translated by C. Grant Luckhardt and Maximilian Aue
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical,Mathematics-- Philosophy,Semantics (Philosophy)
Classification :
B3376
.
W563
B4713
2005
